/**
 * 
 */
package com.google.codemirror2_gwt.client;

/**
 * @author Federico De Faveri defaveri@gmail.com
 *
 */
public interface ExtraKeyEventHandler {
	
	public void onExtraKeyEvent(CodeMirrorWrapper mirrorWrapper);

}
